Toolset for Construction and Verification of Rules for Spacecraft's Autonomous Decision Making
نویسندگان
چکیده
منابع مشابه
Validation and verification of decision making rules
A methodolggy for ttre validation and verification (V&V) of decision making rules is proposed. The methodology addresses the general problem of deiecting problematic ases in a set of rules. The rules are expressed as statements in formal logic. The definition of decision rules in formal logic makes the problem general in tems of application domains, and also provides an analytical-base foi defi...
متن کاملapplication and construction of carbon paste modified electrodes developed for determination of metal ions in some real samples
ساخت الکترودهاِی اصلاح شده ِیکِی از چالشهاِی همِیشگِی در دانش شیمِی بوِیژه شیمِی تجزیه مِی باشد ،که با در نظر گرفتن سادگِی ساخت، کاربردی بودن و ارزان بودن روش مِی توان به باارزش بودن چنِین سنسورهاِی پِی برد.آنچه که در ادامه آورده شده به ساخت و کاربرد الکترودهاِی اصلاح شده با استفاده از نانو ذرات در اندازه گِیرِی ولتامترِی آهن وکادمِیم اشاره دارد. کار اول اختصاص دارد به ساخت الکترود خمِیر کربن اصلاح شده با لِیگاند داِ...
15 صفحه اولVerification and Validation of Ethical Decision-making in Autonomous Systems
Autonomous systems are increasingly becoming part of both the cyber and physical infrastructures that sustain our daily lives. Immersing these technologies into our technical and social infrastructures has profound implications and hence requires instilling confidence in their behavior to avoid potential harm. This paper examines the characteristics of autonomous behavior in relation to ethical...
متن کاملdiagnostic and developmental potentials of dynamic assessment for writing skill
این پایان نامه بدنبال بررسی کاربرد ارزیابی مستمر در یک محیط یادگیری زبان دوم از طریق طرح چهار سوال تحقیق زیر بود: (1) درک توانایی های فراگیران زمانیکه که از طریق برآورد عملکرد مستقل آنها امکان پذیر نباشد اما در طول جلسات ارزیابی مستمر مشخص شوند; (2) امکان تقویت توانایی های فراگیران از طریق ارزیابی مستمر; (3) سودمندی ارزیابی مستمر در هدایت آموزش فردی به سمتی که به منطقه ی تقریبی رشد افراد حساس ا...
15 صفحه اولAutomatic Planning for Autonomous Spacecrafts Constellations
Autonomous agents are a challenging concept for future unmanned operations. Previous space and aeronautic missions highlight the lack of on-board intelligence to increase the decision making capability and to efficiently react to unexpected situation or events. Many agent-based. system approaches exhibit good properties, as demonstrated in flight during the Deep Space! mission. This paper prese...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2016
ISSN: 1877-0509
DOI: 10.1016/j.procs.2016.08.254